Identification of factors that predict recurrent antisocial behavior is integral to the social sciences, criminal justice procedures, and the effective treatment of high-risk individuals. Here we show that error-related brain activity elicited during performance of an in- hibitory task prospectively predicted subsequent rearrest among adult offenders within 4 y of release (N =96). The odds that an offender with relatively low anterior cingulate activity would be rearrested were approximately double that of an offender with high activity in this region, holding (...) constant other observed risk factors. These results suggest a potential neurocognitive biomarker for persistent antisocial behavior. (shrink)

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. Dummett’s case is (...) still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

Responding to a set of essays by Walter Benn Michaels, this paper argues that we can solve some interesting puzzles about intention in photography without the need for any fancy Anscombian footwork. Three distinctions are enough to do the job. First, with Alexander Nehamas, we should separate the empirical photographer from the postulated artist. Next we should mark off generic intentions (such as the intention to make a work of art) from specific intentions (such as the intention (...) to critique capitalism). And finally we should draw a line between intention at time of conception and intention at time of display. A good interpretation, then, will attribute *specific* intentions to the *postulated* artist at the time of *display*. Problem solved? The postulated author of this essay thought so, at least, at the moment when he hit "send.". (shrink)

In this paper I outline the PAIR account of joint attention as a perceptual-practical, affectively charged intentional relation. I argue that to explain joint attention we need to leave the received understanding of propositions and propositional attitudes and the picture of content connected to it behind and embrace the notions of subject mode and position mode content. I also explore the relation between joint attention and communication.

Automated Influence is the use of Artificial Intelligence to collect, integrate, and analyse people’s data in order to deliver targeted interventions that shape their behaviour. We consider three central objections against Automated Influence, focusing on privacy, exploitation, and manipulation, showing in each case how a structural version of that objection has more purchase than its interactional counterpart. By rejecting the interactional focus of “AI Ethics” in favour of a more structural, political philosophy of AI, we show that the real problem (...) with Automated Influence is the crisis of legitimacy that it precipitates. (shrink)

A familiar part of debates about supererogatory actions concerns the role that cost should play. Two camps have emerged: one claiming that extreme cost is a necessary condition for when an action is supererogatory, while the other denies that it should be part of our definition of supererogation. In this paper, I propose an alternative position. I argue that it is comparative cost that is central to the supererogatory and that it is needed to explain a feature that all accounts (...) agree is central to the very notion of supererogation: optionality. Perhaps because of this agreement on its importance, few attempts have been made to clarify and explain the notion of optionality. I argue that giving an account of the optionality of supererogatory requires drawing a line between doing the bare minimum permissible and going beyond the bare minimum and that this line ought to be drawn based on comparative cost of alternative permissible acts. Having outlined my account and motivated it, I discuss and reject two concerns that might be raised: firstly, that it is extreme cost, not comparative cost, that matters and, secondly, that in fact no cost is needed for an act to be supererogatory. (shrink)

Amy saves a man from drowning despite the risk to herself, because she is moved by his plight. This is a quintessentially supererogatory act: an act that goes above and beyond the call of duty. Beth, on the other hand, saves a man from drowning because she wants to get her name in the paper. On this second example, opinions differ. One view of supererogation holds that, despite being optional and good, Beth’s act is not supererogatory because she is not (...) praiseworthy; the other agrees that Beth is not praiseworthy but holds that her act is nevertheless supererogatory because, while supererogatory actions are generally performed by praiseworthy agents, an individual need not be praiseworthy for their act to be supererogatory. In this paper, I raise a problem for this latter position, which I shall call the Anti-Motivation View of supererogation. While the Anti-Motivation View rejects the claim that the agent’s motivations are important, it accepts that the agent’s intentions are. Thus, this view assumes that a clear, coherent distinction can be drawn between intentions and motivations in the context of supererogation. This distinction is often attributed to Mill; however, his original discussion reveals an inconsistency. Consider Clara, who saves a man from drowning because she wants to torture him later. According to Mill, Clara’s act is not morally good; those who follow Mill will have to accept that it is therefore not supererogatory. Mill asserts that Clara’s act differs from Amy’s and Beth’s not just in motivation but also in intention. I question this explanation and demonstrate that the distinction between motivation and intention is not as clear as the Anti-Motivation View has supposed and that the gap between the Anti-Motivation View and the alternative Praise-Based View is either much greater or much smaller than previously thought. (shrink)

Standing in San Marco Cathedral in Venice, you immediately notice the exquisitely decorated spandrels: the triangular spaces bounded on either side by adjoining arches and by the dome above. You would be forgiven for seeing them as the starting point from which to understand the surrounding architecture. To do so would, however, be a mistake. It is a similar mistaken inference that evolutionary biologists have been accused of making in assuming a special adaptive purpose for such biological features as fingerprints (...) and chins. I argue that a mistake of just this sort is being made by ethicists who appeal to the intrinsic value of supererogatory acts in their efforts to make space for supererogation in ethical theory. Many cases of supererogatory action are simply spandrels: by-products of uncontroversial commitments elsewhere in our moral thought. This is not to downplay their value but rather to show that their value need not be the justification for making room for the supererogatory. I demonstrate this by examining two areas: rights and the distribution of burdens among a group. My argument has significance for those who take themselves to be defends of the possibility of supererogatory actions, as well as those who are committed to the contrary and those who believe themselves to be indifferent on the matter. (shrink)

There has been some debate as to whether or not it is possible to keep a promise, and thus fulfil a duty, to supererogate. In this paper, I argue, in agreement with Jason Kawall, that such promises cannot be kept. However, I disagree with Kawall’s diagnosis of the problem and provide an alternative account. In the first section, I examine the debate between Kawall and David Heyd, who rejects Kawall’s claim that promises to supererogate cannot be kept. I disagree with (...) Heyd’s argument, as it fails to get to the heart of the problem Kawall articulates. Kawall’s argument however fails to make clear the problem with promising to supererogate because his discussion relies on the plausibility of the following claim: that supererogatory actions cannot also fulfil obligations. I argue that this view is mistaken because there are clear examples of supererogatory actions that also fulfil obligations. In the final section, I give my alternative account of the problem, identifying exactly what is wrong with fulfilling a duty, and thus keeping a promise, to supererogate. My diagnosis emphasises the importance of identifying non-supererogatory actions when it comes to understanding the way in which supererogatory actions go above and beyond the call of duty. (shrink)

Moral theories that demand that we do what is morally best leave no room for the supererogatory. One argument against such theories is that they fail to realize the value of autonomy: supererogatory acts allow for the exercise of autonomy because their omissions are not accompanied by any threats of sanctions, unlike obligatory ones. While this argument fails, I use the distinction it draws – between omissions of obligatory and supererogatory acts in terms of appropriate sanctions – to draw a (...) parallel with psychological perfectionism. Through this parallel, I demonstrate that requiring what is morally best is in fact counter-productive. Thus, by its own lights, a theory that wants us to do what is best ought at the very least to tell us to believe that some actions are supererogatory. As the old adage goes, the best is the enemy of the good; I argue here that the supererogatory is the solution. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

I argue that the best available parent view, in its present formulation, struggles to accommodate for our very weighty duty not to perpetuate historical injustices. I offer an alternative view that reconciles this tension.

The Oxford Handbook of Metaphysics offers the most authoritative and compelling guide to this diverse and fertile field of philosophy. Twenty-four of the world's most distinguished specialists provide brand-new essays about 'what there is': what kinds of things there are, and what relations hold among entities falling under various categories. They give the latest word on such topics as identity, modality, time, causation, persons and minds, freedom, and vagueness. The Handbook's unrivaled breadth and depth make it the definitive reference work (...) for students and academics across the philosophical spectrum. (shrink)

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

What is the status of research on implicit bias? In light of meta‐analyses revealing ostensibly low average correlations between implicit measures and behavior, as well as various other psychometric concerns, criticism has become ubiquitous. We argue that while there are significant challenges and ample room for improvement, research on the causes, psychological properties, and behavioral effects of implicit bias continues to deserve a role in the sciences of the mind as well as in efforts to understand, and ultimately combat, discrimination (...) and inequality. (shrink)

This article offers a novel, conservative account of material constitution, one that incorporates sortal essentialism and features a theory of dominant sortals. It avoids coinciding objects, temporal parts, relativizations of identity, mereological essentialism, anti-essentialism, denials of the reality of the objects of our ordinary ontology, and other departures from the metaphysic implicit in ordinary ways of thinking. Defenses of the account against important objections are found in Burke 1997, 2003, and 2004, as well as in the often neglected six paragraphs (...) that conclude section V of this article. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

Do the hard problem of consciousness and the simulation argument potentially resolve each other? Here we will argue for four possible views: that consciousness may be possible only (a) outside of, (b) inside and/or outside of, (c) inside of, or (d) interfacing with simulations. The first two of these views have been developed at length by David Chalmers and are used as jumping off points to introduce and develop the latter two views here. If any one of these views could (...) be proven true, it would simultaneously both support a kind of account of properties of consciousness and also provide a kind of sign as to whether or not we are indeed living in the kind of immersive computer simulation that Nick Bostrom hypothesizes about. However, given that none of these views are proven true but all are plausible, these considerations should tend to neutralize our credence that we are either simulated or not simulated, by themselves giving us no sign one way or the other. (shrink)

Volume 20, Issue 4, May 2020, Page 46-48.

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

Sceptical theists--e.g., William Alston and Michael Bergmann--have claimed that considerations concerning human cognitive limitations are alone sufficient to undermine evidential arguments from evil. We argue that, if the considerations deployed by sceptical theists are sufficient to undermine evidential arguments from evil, then those considerations are also sufficient to undermine inferences that play a crucial role in ordinary moral reasoning. If cogent, our argument suffices to discredit sceptical theist responses to evidential arguments from evil.

Episodic memory (memories of the personal past) and prospecting the future (anticipating events) are often described as mental time travel (MTT). While most use this description metaphorically, we argue that episodic memory may allow for MTT in at least some robust sense. While episodic memory experiences may not allow us to literally travel through time, they do afford genuine awareness of past-perceived events. This is in contrast to an alternative view on which episodic memory experiences present past-perceived events as mere (...) intentional contents. Hence, episodic memory is a way of coming into experiential contact with, or being again aware of, what happened in the past. We argue that episodic memory experiences depend on a causal-informational link with the past events being remembered, and that, assuming direct realism about episodic memory experiences, this link suffices for genuine awareness. Since there is no such link in future prospection, a similar argument cannot be used to show that it also affords genuine awareness of future events. Constructivist views of memory might challenge the idea of memory as genuine awareness of remembered events. We explain how our view is consistent with both constructivist and anti-causalist conceptions of memory. There is still room for an interpretation of episodic memory as enabling genuine awareness of past events, even if it involves reconstruction. (shrink)

New research suggests that a healthy democracy requires intellectual humility. When citizens are intellectually humble, they are less polarized, more tolerant and respectful of others, and display greater empathy for political opponents. But a flourishing democracy also requires people with political convictions. If the electorate were apathetic, they would not participate in democratic decision-making. Do these two democratic ideals conflict? The standard view in philosophy and psychology is that intellectual humility and political conviction are compatible. In this paper, we challenge (...) the standard view. We appeal to empirical and theoretical work indicating that intellectual humility can result in political apathy or lack of conviction. We conclude by suggesting that there are different varieties of intellectual humility, some aligned with conviction and engagement, and others of a more quietist character. To illustrate this, we sketch a kind of ‘political quietism’ modelled by philosophical thinkers such as Burke and Oakeshott. (shrink)

Here we will argue that different kinds of friendships follow different kinds of scaling laws. First, we will review Aristotle’s three types of friendship. Second, we will review three different types of scaling laws. Third, we will show how the three types of friendship roughly map on to the three types of scaling laws. After this, we will discuss some of the consequences of the scaling laws of friendship. We hope that the use of these abstract scaling laws to describe (...) social values will convince computer programmers and policy makers to temper their would-be ambitions as social engineers. (shrink)

This paper addresses what we consider to be the most pressing challenge for the emerging science of consciousness: the measurement problem of consciousness. That is, by what methods can we determine the presence of and properties of consciousness? Most methods are currently developed through evaluation of the presence of consciousness in humans and here we argue that there are particular problems in application of these methods to nonhuman cases—what we call the indicator validity problem and the extrapolation problem. The first (...) is a problem with the application of indicators developed using the differences between conscious and unconscious processing in humans to the identification of other conscious vs. nonconscious organisms or systems. The second is a problem in extrapolating any indicators developed in humans or other organisms to artificial systems. However, while pressing ethical concerns add urgency to the attribution of consciousness and its attendant moral status to nonhuman animals and intelligent machines, we cannot wait for certainty and we advocate the use of a precautionary principle to avoid causing unintentional harm. We also intend that the considerations and limitations discussed in this paper can be used to further analyze and refine the methods of consciousness science with the hope that one day we may be able to solve the measurement problem of consciousness. (shrink)

Scholars, journalists, and activists working on climate change often distinguish between “individual” and “structural” approaches to decarbonization. The former concern choices individuals can make to reduce their “personal carbon footprint” (e.g., eating less meat). The latter concern changes to institutions, laws, and other social structures. These two approaches are often framed as oppositional, representing a mutually exclusive forced choice between alternative routes to decarbonization. After presenting representative samples of this oppositional framing of individual and structural approaches in environmental communication, we (...) identify four problems with oppositional thinking and propose five ways to conceive of individual and structural reform as symbiotic and interdependent. (shrink)

Diminishing Marginal Utility is widely accepted as a law of human action, and therefor has become one of the primary premises of ethics, economics, and politics. In popular parlance, “diminishing returns” has entered into the cliches of common sense; in philosophical argument, it has achieved the status of an axiomatic assumption; and indeed, in terms of personal experience or folk psychology, it seems to largely hold true for goods in general over a range of consumption. However, a theory of diminishing (...) marginal utility rests on some assumptions that we ignore at our peril. The a priori and a posteriori proofs of diminishing marginal utility, as developed by the Austrian economists like Ludwig von Mises and Hermann Heinrich Gossen, should be reassessed and critiqued from their fundamental principles to illuminate the theory’s pitfalls. Once these premises and their conclusions are not taken for granted, a more comprehensive and conscientious theory of value can be proposed: Complex or Inflecting Marginal Utility. (shrink)

Are demands for equality motivated by envy? Nietzsche, Freud, Hayek, and Nozick all thought so. Call this the Envy Objection. For egalitarians, the Envy Objection is meant to sting. Many egalitarians have tried to evade the Envy Objection.. But should egalitarians be worried about envy? In this paper, I argue that egalitarians should stop worrying and learn to love envy. I argue that the persistent unwillingness to embrace the Envy Objection is rooted in a common misunderstanding of the nature of (...) the charge, what it reveals, and what can be said in response to it. I develop what Bernard Williams might call a vindicatory genealogy of envy, thereby allowing us to see that envy, rather than undermining egalitarian intuitions, can in fact play a distinct justificatory role (when it is fitting), which undermines the Envy Objection. (shrink)

Attributions of certain speech-acts, like dog-whistling and wolf-crying, have an interesting complementary and antagonistic relationship that creates a kind of hostile dialectic and emergent divergence in political discourse. In the following, we will show how the wolf-cry and the dog-whistle are both epistemically difficult speech-acts to attribute, leading to asymmetric uncertainties in attribution. These uncertainties cause the attribution of wolf-cries and dog-whistles themselves to often be both reasonable but unconfirmable epistemic claims. Then, we will show how these patterns of attributions (...) can lead to a reciprocal dialectic of entrenched and self-amplifying dog-whistling versus wolf-crying, until an unhappy status quo is developed. This leads to a number of problems, including an epistemic standoff of standpoints, the attribution saturation of the political discourse, and a condition of self-defeating truth-seeking. Seemingly, the only surefire solution is a unanimous alleviation of such attributions, a standard that may seem insurmountable, though other options can be considered. (shrink)

Drawing on work from Marina Sbisà’s “Ideology and the Persuasive Use of Presupposition” (1999), Rae Langton has developed a powerful account of the subtle mechanisms through which hate speech and propaganda spread. However, this model has a serious limitation: it focuses too strongly on individual speech acts isolated from their wider context, rendering its applicability to a broader range of cases suspect. In this chapter, I consider the limits of presupposition accommodation to clarify the audience’s role in helping hate speakers, (...) and claim the necessary mechanisms are much more active and social than Langton suggests, with effects not capturable in the analysis of isolated speech acts. I revisit Sbisà’s work on presupposition and develop an alternative model that (1) improves upon the Langtonian model for explaining the power of hate propaganda, and (2) is more in line with Sbisà’s original approach to ideology and the normative aspects of presupposition. (shrink)

Should we regret the fact that we are often more emotionally resilient in response to the deaths of our loved ones than we might expect -- that the suffering associated with grief often dissipates more quickly and more fully than we anticipate? Dan Moller ("Love and Death") argues that we should, because this resilience epistemically severs us from our loved ones and thereby "deprives us of insight into our own condition." I argue that Moller's conclusion is correct despite resting on (...) a mistaken picture of the nature and significance of grief. Unlike Moller, I contend that grief is a composite emotional process, rather than a single mental state; that grief is a species of emotional attention rather than perception; and that grief is a form of activity directed at placing our relationships with the deceased on new terms. It is precisely because grief has these three features that it facilitates the scrutiny of our practical identities and thus fosters self-knowledge and self-understanding. (shrink)

We identify several ongoing debates related to implicit measures, surveying prominent views and considerations in each debate. First, we summarize the debate regarding whether performance on implicit measures is explained by conscious or unconscious representations. Second, we discuss the cognitive structure of the operative constructs: are they associatively or propositionally structured? Third, we review debates whether performance on implicit measures reflects traits or states. Fourth, we discuss the question of whether a person’s performance on an implicit measure reflects characteristics of (...) the person who is taking the test or characteristics of the situation in which the person is taking the test. Finally, we survey the debate about the relationship between implicit measures and (other kinds of) behavior. (shrink)

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

According to the simple modal account of essence, an object has a property essentially just in case it has it in every world in which it exists. As many have observed, the simple modal account is implausible for a number of reasons. This has led to various proposals for strengthening the account, for example, by adding a restriction to the intrinsic or sparse properties. I argue, however, that these amendments to the simple modal account themselves fail. Drawing on lessons from (...) these failures, I propose a new version of a modal account, inspired by Ruth Barcan Marcus's defense of the coherence of quantified modal logic, according to which an object has a property essentially just in case (i) it has it in every world in which it exists, (ii) the property is discriminating (or non-trivial), and (iii) the property is qualitative. The resulting account of essence does not face any of the standard objections other accounts face, and I defend it from other potential objections. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

Dion is a full-bodied man. Theon is that part of him which consists of all of him except his left foot. What becomes of Dion and Theon when Dion’s left foot is amputated? Employing the doctrine of sortal essentialism, I defend a surprising answer last defended by Chrysippus: that Dion survives while the seemingly unscathed Theon perishes. For replies to critics, see my publications of 1997 and (especially) 2004.

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

When you hallucinate an object, you are not in the normal sort of concurrent causal sensory interaction with that object. It's standardly further inferred that the hallucinated object does not actually exist. But the lack of normal concurrent causal sensory interaction does not imply that there does not exist an object that is hallucinated. It might be a past‐perceived object. In this paper, I argue that this claim holds for at least some interesting cases of hallucination. Hallucinations generated by misleading (...) cues (e.g. ‘seeing’ Kanizsa triangles), hallucinations of Charles Bonnet Syndrome patients, and dreams are experiences of past‐perceived objects. (shrink)